Pointfree Pseudocompactness Revisited
نویسنده
چکیده
We give several internal and external characterizations of pseudocompactness in frames which extend (and transcend) analogous characterizations in topological spaces. In the case of internal characterizations we do not make reference (explicitly or implicitly) to the reals.
منابع مشابه
The function ring functors of pointfree topology revisited
This paper establishes two new connections between the familiar function ring functor ${mathfrak R}$ on the category ${bf CRFrm}$ of completely regular frames and the category {bf CR}${mathbf sigma}${bf Frm} of completely regular $sigma$-frames as well as their counterparts for the analogous functor ${mathfrak Z}$ on the category {bf ODFrm} of 0-dimensional frames, given by the integer-valued f...
متن کاملThe Semicontinuous Quasi-uniformity of a Frame, Revisited
In this note we present a new treatment of the pointfree version of the semicontinuous quasi-uniformity based on the new tool of the ring of arbitrary (not necessarily continuous) real-valued functions made available recently by J. Gutiérrez Garćıa, T. Kubiak and J. Picado [Localic real functions: a general setting, Journal of Pure and Applied Algebra 213 (2009) 1064-1074]. The purpose is to sh...
متن کاملPseudocompactness and the cozero part of a frame
A characterization of the cozero elements of a frame, without reference to the reals, is given and is used to obtain a characterization of pseudocompactness also independent of the reals. Applications are made to the congruence frame of a σ-frame and to Alexandroff spaces.
متن کاملPseudofinite and Pseudocompact Metric Structures
We initiate the study of pseudofiniteness in continuous logic. We introduce a related concept, namely that of pseudocompactness, and investigate the relationship between the two concepts. We establish some basic properties of pseudofiniteness and pseudocompactness and provide many examples. We also investigate the injective-surjective phenomenon for definable endofunctions in pseudofinite struc...
متن کاملPointfree Spectra of Riesz Spaces
One of the best ways of studying ordered algebraic structures is through their spectra. The three well-known spectra usually considered are the Brumfiel, Keimel, and the maximal spectra. The pointfree versions of these spectra were studied by B. Banaschewski for f -rings. Here, we give the pointfree versions of the Keimel and the maximal spectra for Riesz spaces. Moreover, we briefly mention ho...
متن کامل